Formalization and Verification of a Live Multimedia Presentation Model
نویسندگان
چکیده
As the complement of the stored multimedia presentation, live multimedia presentation (LMP) is similar to the stored multimedia presentation except for the process of selecting, authoring, constructing and playing out the multimedia elements are done during presentation time. Unfortunately, there is no established model of LMP as well as in stored multimedia presentation with its SMIL. This paper proposes some basic concepts for developing any LMP application, and then from such concept we design a model of LMP using formal definition. Finally, to verify the model we used scenario-based and developed an application as a tool to accomplish the verification process.
منابع مشابه
The effects of segmentation and redundancy methods on cognitive load and vocabulary learning and comprehension of English lessons in a multimedia learning environment
The present study was conducted with the aim of the effects of segmentation and redundancy methods on cognitive load and vocabulary learning and comprehension of English lessons in a multimedia learning environment.The purpose of this study is an applied research and a real experimental study. The statistical population of the present study includes all people aged 14 to 16 who are enrolled in ...
متن کاملTowards a Formal Approach for Modelling SMIL Documents
We present in this paper a hierarchical and temporal extension of Petri Nets for the incremental authoring of SMIL multimedia documents. The complexity of these documents can lead authors, in some cases, to specify synchronization relations which could not be satisfied during the presentation of the document, what characterizes the occurrence of inconsistencies; a consistency checking mechanism...
متن کاملA Live TV-Quality Distant Learning Multimedia Presentation System for Education
In this paper, an abstract semantic model called multimedia augmented transition network (MATN) to model a live TV-like multimedia presentation system for distance learning education purpose is presented. Unlike the original design for CISCO IP/TV system that is built upon Microsoft ActiveMovie technology, a Java-based viewer called JTViewer is developed to provide the cross-platform capability...
متن کاملPresentation of Paradigm Model for Iran' Professional Sport Coaching
The purpose of this study was presentation of paradigm model of professional sport coaching in Iran. Method of research was grounded theory, and participants included 20 coaches and athleteschr(chr('39')39chr('39'))s football, futsal, volleyball, handball, track and field, badminton, conditioning, body building, Karate and swimming. The coaches had international credentials and excellence, and ...
متن کاملThe Effect of Multimedia-Based Instruction on Improving Iranian EFL Learners’ Grammar Knowledge and their Attitudes
Applying technologies has recently caused language education to undertake influential modifications. Hence, this study tried to investigate the impact of using technology in form of multimedia on improving grammar knowledge of Iranian high school students and also examined their attitudes toward multimedia-based mode of instruction. To do so, three intact classes of lower intermediate students ...
متن کامل